81. Algorithms and data structures in VLSI design: OBDD-foundations and applications
پدیدآورنده : Meinel, Christoph
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing , Computer algorithms , Data structures )Computer science(
رده :
TK
7874
.
75
.
M45
1998
83. Analysis for computer scientists :
پدیدآورنده : Michael Oberguggenberger, Alexander Ostermann ; translated in collaboration with Elisabeth Bradley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Computer science-- Mathematics.,Computers-- Data Processing.,Discrete mathematics.,Mathematics-- Applied.,Mathematics-- Counting & Numeration.,Maths for computer scientists.,Maths for engineers.,Numerical analysis.
رده :
QA76
.
9
.
M35
84. Analytica and computer methods in foundation engineering
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Foundations,Electronic data processing - Foundations
رده :
TA775
.
B87
85. Analytical CRM :
پدیدآورنده : by Markus Wübben.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Economics.,Marketing.
86. Analytical and computer methods in foundation engineering
پدیدآورنده : Bowles, Joseph E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Foundations-- Data processing
رده :
TA
775
.
B62
87. Analytical and computer methods in foundation engineering
پدیدآورنده : Bowles, Joseph E.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing ، Foundations
رده :
TA
775
.
B62
88. Analytical and computer methods in foundation engineering
پدیدآورنده : [by] Joseph E. Bowles
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Foundations-- Data processing
رده :
TA775
.
B62
89. Analytical & computer methods in foundation engineering
پدیدآورنده : BOWLES,JOSEPH E
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DATA PROCESSING-FOUNDATIONS
رده :
TA
775
.
B62
90. Analytics and optimization for renewable energy integration /
پدیدآورنده : Ning Zhang, Chongqing Kang, Ershun Du, Yi Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Renewable energy sources.,Renewable resource integration.,Renewable energy sources.,Renewable resource integration.,SCIENCE-- Energy.,TECHNOLOGY & ENGINEERING-- Mechanical.,TECHNOLOGY-- Electricity.
رده :
TJ808
91. Annual Symposium on Foundations of Computer Science ]papers[
پدیدآورنده : Symposium on Foundations of Computer Science
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Switching theory-- Congresses,، Machine theory-- Congresses,، Electronic data processing-- Congresses
رده :
QA
268
.
5
.
S9a
92. Applications of Geodesy to Engineering :
پدیدآورنده : edited by Klaus Linkwitz, Viktor Eisele, Hans-Joachim Mönicke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Geographic information systems.,Geography.,Physical geography.
93. Arab, Muslim, woman :,BL
پدیدآورنده : Ruth Watts. ,James A. Marcum.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
94. Architecture of integrated information systems :
پدیدآورنده : August-Wilhelm Scheer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
HF5548
.
2
A948
2012
95. Artificial Intelligence:
پدیدآورنده : edited by Christoph Bussler, Dieter Fensel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information storage and retrieval systems.,Information systems.
96. Artificial intelligence basics :
پدیدآورنده : Tom Taulli.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Business enterprises-- Technological innovations.,Machine learning.,Artificial intelligence.,Business enterprises-- Technological innovations.,Machine learning.
رده :
Q335
97. Audio source separation and speech enhancement /
پدیدآورنده : edited by Emmanuel Vincent, Tuomas Virtanen, Sharon Gannot.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic speech recognition.,Speech processing systems.,Automatic speech recognition.,COMPUTERS-- General.,Speech processing systems.
رده :
TK7882
.
S65
98. Autodesk Revit architecture 2011 :
پدیدآورنده : Eric Wing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Autodesk Revit.,Autodesk Revit,Architectural design-- Data processing.,Architectural drawing-- Computer-aided design.,Architectural design-- Data processing.,Architectural drawing-- Computer-aided design.,ARCHITECTURE-- Design, Drafting, Drawing & Presentation.
رده :
NA2728
.
W482
2010
99. Automated evaluation of text and discourse with Coh-Metrix /
پدیدآورنده : Danielle S. McNamara (Learning Sciences Institute and Psychology Department, Arizona State University), Arthur C. Graesser (Institute for Intelligent Systems and Pyschology Department, University of Memphis), Philip M. McCarthy (Institute for Intelligence Systems, University of Memphis), Zhiqiang Cai (Institute for Intelligence Systems, University of Memphis).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cognition-- Data processing.,Cognitive science.,Computational linguistics.,Corpora (Linguistics),Discourse analysis-- Data processing.,Psycholinguistics.
100. BL
پدیدآورنده : by William Tabbernee and Peter Lampe.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
